Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
561	Proceedings of the Second ICSU/UNESCO International Conference on Electronic Publishing in Science held in association with CODATA, IFLA and ICSTI at UNESCO House, Paris 20–23 February 2001 Add to Reading List Source URL: eos.wdcb.ru Language: English - Date: 2002-07-18 09:07:48 Information Data analysis Formal sciences Database theory Data mining Database Scientific literature Geographic information system Open science data Database management systems Science Data management
562	Process Evolution in a Mad World Originally published, 1994 James Bach Satisfice, Inc. [removed] Add to Reading List Source URL: www.satisfice.com Language: English - Date: 2006-05-23 22:43:51 Ethics Formal methods Actuarial science Risk Software development process Systems engineering process Quality assurance Software bug Risk management Management Business Project management
563	Harnessing the Power of YARN with Apache Twill Andreas Neumann & Terence Yim! February 5, 2014 Add to Reading List Source URL: cask.co Language: English - Date: 2014-10-29 19:23:16 Database management systems Cloud infrastructure Parallel computing Emerging technologies Formal sciences Apache Hadoop MapReduce Big data Tequila Computing Concurrent computing Technology
564	System to Software Integrity: A Case Study1 Matteo Bordin, Cyrille Comar, Ed Falis, Franco Gasperoni, Yannick Moy, Elie Richa, Jérôme Hugues {bordin, comar, falis, gasperoni, moy, richa}@adacore.com, jerome.hugue Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-01-23 04:27:02 Simulation software Software architecture Systems architecture Cross-platform software Simulink Architecture Analysis & Design Language SPARK Formal verification Design by contract Software engineering Computing Design
565	Microsoft Word - The PT Toolkit - an Introduction.doc Add to Reading List Source URL: www.theptcompany.com Language: English - Date: 2004-10-05 00:46:02 Systems science Enterprise modelling Business process Formal methods Business process modeling Process modeling Software development process Systems engineering process Economic model Process management Systems engineering Management
566	SIGPLAN Conference Proceedings template Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-10-07 03:17:07 Aerospace engineering Spacecraft design Communicating sequential processes Modeling language Generic Modeling Environment Formal methods System Software development methodology NEAR Shoemaker Spaceflight Spacecraft Systems engineering
567	Data Preparation Dr. Saed Sayad University of Toronto[removed]removed] Add to Reading List Source URL: chem-eng.utoronto.ca Language: English - Date: 2010-01-10 22:27:50 Formal sciences Data modeling Database management systems Database theory Data analysis Data warehouse Data mining Database normalization Database Data management Data Information
568	Why Has AI Failed? And How Can it Succeed? John F. Sowa Abstract. In the 1960s, pioneers in artificial intelligence made grand claims that AI systems would surpass human intelligence before the end of the 20th century. E Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2014-12-09 10:12:46 Philosophy of artificial intelligence Formal sciences Alan Turing Knowledge representation Interdisciplinary fields AI winter Marvin Minsky Turing test John F. Sowa Science Artificial intelligence Knowledge
569	Presented at EuroSys Doctoral Workshop 2012, Bern, Switzerland. Towards a Fully Verified File System Sidney Amani Leonid Ryzhyk Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:43 Disk file systems Applied mathematics Logic in computer science Formal verification Formal specification Specification File system Inode Proof assistant Formal methods Computing Theoretical computer science
570	focus2 DIGITAL COMPRESSION FOR TELEVISION PICTURES Vikrant Mishra Digital Systems Group, CEERI, Pilani[removed]E-mail: [removed] Add to Reading List Source URL: www.scatmag.com Language: English - Date: 2014-06-19 09:12:43 Digital television Digital audio Formal sciences High-definition television Computer storage Data compression Spectral efficiency Video Data transmission Electronic engineering Technology Electronics

UPDATE